$\forall$$A$, $B$:Realizer.
\\[0ex]$\neg$Rplus?($A$) $\Rightarrow$ $\neg$Rplus?($B$) $\Rightarrow$ R{-}Feasible($A$) $\Rightarrow$ R{-}Feasible($B$) $\Rightarrow$ $A$ $\parallel$ $B$ $\Rightarrow$ [[$A$]] $\parallel$ [[$B$]]